re:search High Performance Computing issue University of Bristol • SpringDrug design

Source URL: www.acrc.bris.ac.uk

• Computing
• Concurrent computing
• Scientific modeling
• Computational science
• Engineering
• Parallel computing
• Computational chemistry
• Computer simulation
• Computer science
• Supercomputer
• Molecular dynamics
• ACEnet

Enforcing Textual Alignment of Collectives Using Dynamic Checks ? Amir Kamil Katherine Yelick

Source URL: titanium.cs.berkeley.edu

• Computing
• Software engineering
• Computer programming
• Parallel computing
• C++
• Concurrent computing
• Compiler construction
• Thread
• OpenMP
• Synchronization
• Optimizing compiler
• Program analysis

Diamond SciSoft Analysis Developer Guide Release 1.0 Diamond Light Source, Scientific Software Team

Source URL: www.opengda.org

• Software engineering
• Computer programming
• Computing
• Concurrent programming languages
• Object-oriented programming languages
• Cross-platform software
• Java
• Iterator
• Foreach loop

Message Analysis for Concurrent Languages? Richard Carlsson, Konstantinos Sagonas, and Jesper Wilhelmsson Computing Science Department, Uppsala University, Sweden {richardc,kostis,jesperw}@csd.uu.se Abstract. We describ

Source URL: user.it.uu.se

Handling Churn in a DHT Sean Rhea, Dennis Geels, Timothy Roscoe, and John Kubiatowicz University of California, Berkeley and Intel Research, Berkeley {srhea,geels,kubitron}@cs.berkeley.edu,

Source URL: www.oceanstore.org

• Distributed data storage
• Computing
• Concurrent computing
• Distributed computing
• Distributed hash table
• Kademlia
• Pastry
• Chord
• Routing
• Peer-to-peer
• Overlay network
• Tapestry

English Team Manual Team Manual for the ETH+EPFL Local Contest 2013 by Robert R. Enderlein∗ Here follows a short summary of the system interface. This is meant as a quick introduction, to be able

Source URL: soi.inf.ethz.ch

• Software engineering
• Computing
• Computer programming
• Cross-platform software
• Concurrent programming languages
• Programming languages
• Object-oriented programming languages
• C++
• Java
• Standard streams
• Go
• Select

Enabling the Use of Data Michael Kagan, CTO June 1, Technion Computer Engineering Conference Safe Harbor Statement These slides and the accompanying oral presentation contain forward-looking statements and inform

Source URL: tce.technion.ac.il

• Computing
• Concurrent computing
• Distributed computing
• Mellanox Technologies
• Cloud storage
• Computer networking
• Data management
• Distributed data storage
• Forward-looking statement
• Data center
• Internet of things
• Texas Advanced Computing Center

Automated Software Testing for the 21st Century Patrice Godefroid Microsoft Research TCE’2015

Source URL: tce.technion.ac.il

• Software engineering
• Computing
• Software testing
• Software
• Concurrent programming languages
• Electronic design automation
• Formal methods
• NP-complete problems
• Fuzz testing
• Random testing
• Satisfiability modulo theories
• Symbolic execution

Making Sequential Consistency Practical in Titanium Amir Kamil Jimmy Su Katherine Yelick∗ Computer Science Division, University of California, Berkeley {kamil,jimmysu,yelick}@cs.berkeley.edu

Source URL: titanium.cs.berkeley.edu

• Computing
• Software engineering
• Compiler construction
• Computer programming
• Parallel computing
• Computer memory
• Concurrency
• Concurrent computing
• Optimizing compiler
• Alias analysis
• Memory barrier
• Synchronization

PDF Document

Source URL: ramund.ikk.ku.dk

• Concurrent computing
• Liveness